Decidability In Theory Of Computation